<?php
echo" o file";